منابع مشابه
Warping Peirce Quincuncial Panoramas
The Peirce quincuncial projection is a mapping of the surface of a sphere to the interior of a square. It is a conformal mapping except for four points on the equator. These points of non-conformality cause significant artifacts in photographic applications. In this paper, we propose an algorithm and userinterface to mitigate these artifacts. Moreover, in order to facilitate an interactive user...
متن کاملThe Peirce translation
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
متن کاملSchistosoma mansoni α1,3-fucosyltransferase-F generates the Lewis X antigen.
Genetic evidence suggests that the Schistosoma mansoni genome contains six genes that encode α1,3-fucosyltransferases (smFuTs). To date, the activities and specificities of these putative fucosyltransferases are unknown. As Schistosoma express a variety of fucosylated glycans, including the Lewis X antigen Galβ1-4(Fucα1-3)GlcNAcβ-R, it is likely that this family of genes encode enzymes that are...
متن کاملManaging complex objects in Peirce
The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems , conceptual information retrieval, med...
متن کاملThe Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of the American Association of Geographers
سال: 2020
ISSN: 2469-4452,2469-4460
DOI: 10.1080/24694452.2020.1800301